منابع مشابه
A Logical Model of Conceptual Integrity in Data Integration
Conceptual integrity is required for the result of data integration to be cohesive and sensible. Compromised conceptual integrity results in "semantic faults," which are commonly blamed for latent integration bugs. A logical model of conceptual integrity in data integration and a simple example application are presented. Unlike constructive models that attempt to prevent semantic faults, this m...
متن کاملA Logical Multidemand Bargaining Model with Integrity Constraints
This paper proposes a logical model of multi-demand bargaining with integrity constraints. We also construct a simultaneous concession solution to bargaining games of this kind, and show that the solution is uniquely characterised by a set of logical properties. Moreover, we prove that the solution also satisfies the most fundamental game theoretic properties such as symmetry and Pareto optimal...
متن کاملMetaphysics of Logical Realism
با اینکه اغلب به غلط تصور میشود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن میتوان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکلگیریاش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...
متن کاملTowards a Uniform Logical Representation of Different Kinds of Integrity Constraints
There is no agreement in the litterature about the de nition of integrity constraints in the context of data and/or knowledge bases. What kind of property people want to guarantee using integrity constraints? Is it the property of consistency of database content or the completeness of database content [6] or validity or completeness of database content with regard to the world [3] or some prope...
متن کاملLogical Grammars, Logical Theories
Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard free models. They also appear in grammatical inference as the syntactic concept lattice, an algebraic structure canonically defined for every language L based on the lattice of all distributionally definable subsets of strings. Recent results show that it is possible to build representations, such a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2018
ISSN: 2163-5951
DOI: 10.3765/salt.v28i0.4419